Amoebas, Monge-ampère Measures, and Triangulations of the Newton Polytope
نویسندگان
چکیده
The amoeba of a holomorphic function f is, by definition, the image in Rn of the zero locus of f under the simple mapping that takes each coordinate to the logarithm of its modulus. The terminology was introduced in the 1990s by the famous (biologist and) mathematician Israel Gelfand and his coauthors Kapranov and Zelevinsky (GKZ). In this paper we study a natural convex potential function N f with the property that its Monge-Ampère mass is concentrated to the amoeba of f . We obtain results of two kinds; by approximating N f with a piecewise linear function, we get striking combinatorial information regarding the amoeba and the Newton polytope of f ; by computing the Monge-Ampère measure, we find sharp bounds for the area of amoebas in R2. We also consider systems of functions f1, . . . , fn and prove a local version of the classical Bernstein theorem on the number of roots of systems of algebraic equations.
منابع مشابه
Amoebas of Genus at Most One
The amoeba of a Laurent polynomial f ∈ C[z 1 , . . . , z n ] is the image of its zero set V(f) under the log-absolute-value map. Understanding the space of amoebas (i.e., the decomposition of the space of all polynomials, say, with given support or Newton polytope, with regard to the existing complement components) is a widely open problem. In this paper we investigate the class of polynomials ...
متن کاملAlgorithmic Computation of Polynomial Amoebas
We present algorithms for computation and visualization of amoebas, their contours, compactified amoebas and sections of three-dimensional amoebas by two-dimensional planes. We also provide a method and an algorithm for the computation of polynomials whose amoebas exhibit the most complicated topology among all polynomials with a fixed Newton polytope. The presented algorithms are implemented i...
متن کاملConvergence of a Hybrid Scheme for the Elliptic Monge-ampère Equation
We prove the convergence of a hybrid discretization to the viscosity solution of the elliptic Monge-Ampère equation. The hybrid discretization uses a standard finite difference discretization in parts of the computational domain where the solution is expected to be smooth and a monotone scheme elsewhere. A motivation for the hybrid discretization is the lack of an appropriate Newton solver for ...
متن کاملThe hyperdeterminant and triangulations of the 4-cube
The hyperdeterminant of format 2 × 2 × 2 × 2 is a polynomial of degree 24 in 16 unknowns which has 2894276 terms. We compute the Newton polytope of this polynomial and the secondary polytope of the 4-cube. The 87959448 regular triangulations of the 4-cube are classified into 25448 Dequivalence classes, one for each vertex of the Newton polytope. The 4-cube has 80876 coarsest regular subdivision...
متن کاملBoundary Regularity for Solutions to the Linearized Monge-ampère Equations
We obtain boundary Hölder gradient estimates and regularity for solutions to the linearized Monge-Ampère equations under natural assumptions on the domain, Monge-Ampère measures and boundary data. Our results are affine invariant analogues of the boundary Hölder gradient estimates of Krylov.
متن کامل